61. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
62. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
63. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
64. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
65. Computability, an introduction to recursive function theory
پدیدآورنده : Nigel Cutland,Title
موضوع : Computable functions,Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
66. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
67. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
موضوع : ، Recursion theory,، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
68. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
69. Computability theory
پدیدآورنده : Herbert B. Enderton
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Recursion theory
رده :
QA
9
,.
6
.
E52C6
2011
70. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
71. Computability theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory. ;
72. Computability theory: An introduction to recursion theory
پدیدآورنده : / Enderton H.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
73. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
74. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
75. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
76. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
77. Computable analysis
پدیدآورنده : Oliver Aberth,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursion theory,Mathematical analysis
رده :
QA
.
A23
9
.
6
78. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
79. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
80. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
